Scattered Context-Free Linear Orderings
نویسنده
چکیده
We show that it is decidable in exponential time whether the lexicographic ordering of a context-free language is scattered, or a wellordering.
منابع مشابه
Scattered Algebraic Linear Orderings
An algebraic linear ordering is a component of the initial solution of a first-order recursion scheme over the continuous categorical algebra of countable linear orderings equipped with the sum operation and the constant 1. Due to a general Mezei-Wright type result, algebraic linear orderings are exactly those isomorphic to the linear ordering of the leaves of an algebraic tree. Moreover, using...
متن کاملLogic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
In this paper we consider languages of labelled N -free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only if it is recognizable by a finite depth-nilpotent algebra if and only if it is bounded-width and monadic second-order definable. This extends previous results on languages of labelled N -free finite and ω-posets and ...
متن کاملA scattering of orders
A linear ordering is scattered if it does not contain a copy of the rationals. Hausdorff characterised the class of scattered linear orderings as the least family of linear orderings that includes the class B of well-orderings and reversed well-orderings, and is closed under lexicographic sums with index set in B. More generally, say that a partial ordering is κ-scattered if it does not contain...
متن کاملAlgebraic Characterization of FO for Scattered Linear Orderings
We prove that for the class of sets of words indexed by countable scattered linear orderings, there is an equivalence between definability in first-order logic, star-free expressions with marked product, and recognizability by finite aperiodic semigroups which satisfy the equation xωx−ω = x. 1998 ACM Subject Classification F.4.1 Mathematical Logic; F.4.3 Formal Languages
متن کاملComplementation of Rational Sets on Countable Scattered Linear Orderings
In a preceding paper (Bruyère and Carton, automata on linear orderings, MFCS’01), automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite and even transfinite words studied by Büchi. Kleene’s theorem has been generalized to these words. We prove that rational sets of words on countable scattered linea...
متن کامل